* doc/emacs/misc.texi (Saving Emacs Sessions): Make previous change
authorGlenn Morris <rgm@gnu.org>
Wed, 12 Mar 2014 07:26:07 +0000 (00:26 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 12 Mar 2014 07:26:07 +0000 (00:26 -0700)
commitb3ee5418390f6b2dd69f958aeb597b2b4c2112ae
treef7a3054c02302ae8a8f56037f165d87de0f9c0a2
parentc18b9326a7d40d1951f6d232afbcd56c2423db71
* doc/emacs/misc.texi (Saving Emacs Sessions): Make previous change
slightly less brief.
doc/emacs/misc.texi